2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)
Автор:
Michael Leuschel
, Автор:
Heike Wehrheim
Категория:
Компьютеры
Размер книги: 10.61 Mb
Formal Methods for Components and Objects
Автор:
Frank S. de Boer
, Автор:
Marcello M. Bonsangue
, Автор:
Stefan Hallerstede
, Автор:
Michael Leuschel
Категория:
Математика
,
Прикладная математика
Размер книги: 4.09 Mb
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected ... Programming and Software Engineering)
Автор:
Frank S. de Boer
, Автор:
Marcello M. Bonsangue
, Автор:
Stefan Hallerstede
, Автор:
Michael Leuschel
Размер книги: 4.20 Mb
Integrated Formal Methods, 7 conf., IFM 2009
Автор:
Michael Leuschel
, Автор:
Heike Wehrheim
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 5.05 Mb
